home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 7 / Apprentice-Release7.iso / Environments / Clean 1.2.4 / IO Examples / Turing / showtm.dcl < prev    next >
Encoding:
Modula Definition  |  1996-12-11  |  1.0 KB  |  31 lines  |  [TEXT/3PRM]

  1. definition module showtm
  2.  
  3. from    deltaIOSystem import UpdateArea
  4. from    deltaPicture  import Picture, Rectangle, Point
  5. import    tm
  6.  
  7. MaxX    :== 29900
  8.  
  9. ShowTape        :: !Tape                        !Picture -> Picture
  10. ShowTransitions    :: ![Transition] !String        !Picture -> Picture
  11. ShowTransition    :: !Int  !Int                    !Picture -> Picture
  12. ShowTapePart    :: !Tape !Int !Int                !Picture -> Picture
  13. ShowNewTape        :: !Comm !Int                    !Picture -> Picture
  14. ShowNextState    :: !String                        !Picture -> Picture
  15.  
  16. ClickedInWindow    :: !Point -> (!Int,!Bool,!Bool)
  17. ClickedInTapeWd    :: !Point -> (!Int,!Bool)
  18.  
  19. HiliteTransition:: !Int !Transition                !Picture -> Picture
  20. HiliteState        :: !String                        !Picture -> Picture
  21. HiliteCell        :: !Int !Char                    !Picture -> Picture
  22. ShowTrans        :: !Int !Transition                !Picture -> Picture
  23. EraseTrans        :: !Int                            !Picture -> Picture
  24. DrawTapeCell    :: !Int !Char                    !Picture -> Picture
  25. ShowHeadMove    :: !Tape Int Int Int            !Picture -> Picture
  26. EraseError        ::                                !Picture -> Picture
  27.  
  28. SetTuringFont    ::                                !Picture -> Picture
  29.  
  30. FourCharString    :: !String -> String
  31. FirstChar        :: !String -> Char